(cl-text Class1
(cl-comment "Class
			[1] active_class_classifier_behavior
				changed to enforce classifierbehavior presence only in active classes that are not abstract")
(forall (c clb)   
		(if (and 
					(buml:Class c)
					(cbuml:isActive c form:true)
                                        (not (cbuml:isAbstract c form:true)))
					(buml:classifierBehavior c clb)
	     )
	)
)

(cl-text Class2
(cl-comment "Class
			[2] active_class_specialization")
(forall (csup csub)   
		(if (and 
					(buml:Class csup)
					(buml:Class csub)
					(buml:general csub csup))
					(if (cbuml:isActive csup form:true)
						(cbuml:isActive csub form:true))
	     )
	)
)